]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07ad4d8) | patch
extensions-tool: Show Philip some info
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 18 Oct 2018 15:53:30 +0000 (17:53 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 21 Aug 2019 16:28:02 +0000 (18:28 +0200)
commit369e400e323ffbfcd32e332cb0111295101c7b95
tree6f5060206c4c0434467447f2a8fb98317a886bfetree | snapshot
parent07ad4d89116f01d9ee35c226859d7f0b47d7f4a3commit | diff
extensions-tool: Show Philip some info

Add a 'show' alias for the previously added 'info' command
because it makes sense:

https://twitter.com/pwithnall/status/1036895943004762112

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
src/extensions-tool/completion/bash/gnome-extensions diff | blob | history
src/extensions-tool/main.c diff | blob | history
src/extensions-tool/man/gnome-extensions.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.